#include "rthw.h"
#include "rtthread.h"

#ifdef RT_USING_SMP
void rt_hw_secondary_cpu_up(void)
{
	rt_hw_ipi_send(0,1);
}

/* szx : rt_hw_secondy_cpu_idle_exec */
void rt_hw_secondary_cpu_idle_exec(void){
    asm volatile("wfi");
}

#endif /* !RT_USING_SMP */
